(Ftop_level): Doc fix.

diff --git a/src/keyboard.c b/src/keyboard.c
index e957e7e5c8f0af65c7ba03296dcbb9dd8cde40dd..086ba1103378ba71c583d44e14bdba392b5db16c 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -1361,7 +1361,8 @@ top_level_1 ()
 }
 
 DEFUN ("top-level", Ftop_level, Stop_level, 0, 0, "",
-       doc: /* Exit all recursive editing levels.  */)
+       doc: /* Exit all recursive editing levels.
+This also exits all active minibuffers.  */)
      ()
 {
 #ifdef HAVE_WINDOW_SYSTEM